A Template for Design Transform Specification
نویسندگان
چکیده
Migration from a procedural architecture to an objectoriented architecture is possible through an appropriate sequence of design transformations. This paper initially provides a conceptual foundation for migration from a procedural to an object-oriented software architecture for legacy software, which relies upon a view of the software life cycle, in which all software development is considered to be an evolutionary activity wherein reengineering/restructuring is an important process applied repeatedly on the artefacts of development at various stages in this evolution. We then introduce a novel approach of viewing a procedural program from an object-oriented perspective in which there is a single “god” class which has a large number of global variables and methods, supported by several userdefined classes which have no behaviour, only data definitions. This view, coupled with repeated restructuring, enables a seamless migration of behaviour from the god class to other classes using design transformation methods. There is a distinction between the processes of translation and transformation, processes that we contend are orthogonal to each other, which thereby enables us to concentrate on behaviourpreserving design transformations in order to migrate from one design to another, leaving the language issues to be handled by translators. Having established the need for behaviour-preserving design transformations, we provide a template for specifying design transformations. The main contribution of this paper is in the proposal of a template for the communication of design transformations. An example design transformation is presented which demonstrates the usefulness of the proposed template.
منابع مشابه
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specification can be expressed by using an informal, a semi-formal, or a formal specification. Existing methodologies and tools can transform semi-formal specifications to code or programs but they have not addressed a transformati...
متن کاملA New RSTB Invariant Image Template Matching Based on Log-Spectrum and Modified ICA
Template matching is a widely used technique in many of image processing and machine vision applications. In this paper we propose a new as well as a fast and reliable template matching algorithm which is invariant to Rotation, Scale, Translation and Brightness (RSTB) changes. For this purpose, we adopt the idea of ring projection transform (RPT) of image. In the proposed algorithm, two novel s...
متن کاملA New Nonlinear Specification of Structural Breaks for Money Demand in Iran
In a structural time series regression model, binary variables have been used to quantify qualitative or categorical quantitative events such as politic and economic structural breaks, regions, age groups and etc. The use of the binary dummy variables is not reasonable because the effect of an event decreases (increases) gradually over time not at once. The simple and basic idea in this paper i...
متن کاملMetro: An Analysis Toolkit for Template Semantics
We describe the Metro toolkit, which supports software modelling and analysis for requirements notations that have configurable semantics. Metro is based on a formalism, called template semantics, which structures the operational semantics of a family of notations as a predefined parameterized template that is instantiated with user-provided parameter values. Thus, the semantics of a single not...
متن کاملDaubechies Wavelet template design of a Cellular Neural Network for Image Compression
In the computation of forward and inverse Discrete Wavelet Transform (DWT) using Cellular Neural Network (CNN), templates that mimic Haar wavelet are used. It is well known that Daubechies wavelet is the most popular wavelet used in the computation of DWT coefficients. This paper presents an approach towards the design of templates that mimic Daubechies wavelets. A global search algorithm, name...
متن کامل